Publications of
Tiago Correa, Leandro Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, François Vernadat
Supporting the Design of Safety Critical Systems Using AADL (regular paper)
In : , Oxford, 22/03/10-26/03/10, IEEE Computer Society, pp. 331-336, March 2010.
Tiago Correa, Leandro Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, François Vernadat
Verification Based Development Process for Embedded Systems (regular paper)
In : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/10-21/05/10, Société des Ingénieurs de l’Automobile, (electronic medium), May 2010.
URL : http://web1.see.asso.fr/erts2010/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0029_final.pdf
BibTeXRicardo Bedin Franca, Daniel Gobbi, J.-M. Farines, Jean-Paul Bodeveix, Leandro Becker
Design of Real-Time Automation Systems Using Architecture Description Languages
In : Simpósio Brasileiro de Automação Inteligente (SBAI 2007), Florianópolis – Brasil, 08/08/07-11/08/07, Sociedade Brasileira de Automática (SBA), (electronic medium), August 2007.
Ricardo Bedin Franca, J.-M. Farines, Jean-Paul Bodeveix, Leandro Becker, Mamoun Filali
Modelling a bus protocol an incremental approach
In : Workshop on Real-Time Systems (WTR 2007), Belem (Brésil)l, 28/05/07-28/05/07, Universidade Federal de Santa Catarina, (electronic medium), May 2007.